#ifndef _ENCODER_H
#define _ENCODER_H
#include <sys.h>	 
#include "stm32f4xx_gpio.h"
#include "stm32f4xx_rcc.h"
#include "stm32f4xx_tim.h"
#include "misc.h"

void TIM4_ENCODER_Configuration(void);
void TIM4_ENCODER_Read(uint32_t *Dir, uint32_t *Cnt);

#endif
